Module isotope::ast [−][src]
Expand description
An AST for isotope
expressions.
Re-exports
pub use super::*; |
Structs
Constraint | A constraint on an instant or lifetime |
Constraints | A list of constraints on an instant or lifetime |
Dependency | Dependency metadata for a symbol |
FunctionalLinearity | A function type’s linearities |
Instant | An instant, having an (optional) name and (optional) constraint |
Judgement | A typing judgement |
Lambda | A lambda function |
Let | A let statement |
Linearity | Substructurality requirements on a value |
Param | A parameter |
Parametrized | A parametrized value |
Pi | A pi type |
Relationship | A relationship between relations |
Scope | A scope |
Sexpr | An S-expression |
Usage | Usage of a value |
Enums
Expr | An |
FnKind | A function kind |
Statement | An isotope statement |
Variance | The variance of a type binding |
Constants
SMALL_SEXPR_SIZE | The size of a small S-expression |